Put_page on vmx_set_cr0 for multiple protected/real mode switch.

Signed-off-by: Yunhong Jiang <yunhong.jiang@intel.com>
Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>

diff --git a/xen/arch/x86/vmx.c b/xen/arch/x86/vmx.c
index c6705b15f0bbfec028b3acbcf16210fa65fbe3bb..da1016cf92aec650d76107028a5c13dd6cf626cf 100644 (file)
--- a/xen/arch/x86/vmx.c
+++ b/xen/arch/x86/vmx.c
@@ -1100,6 +1100,11 @@ static int vmx_set_cr0(unsigned long value)
                     d->arch.arch_vmx.cpu_cr3, mfn);
     }
 
+    if(!((value & X86_CR0_PE) && (value & X86_CR0_PG)) && paging_enabled)
+        if(d->arch.arch_vmx.cpu_cr3)
+            put_page(pfn_to_page(get_mfn_from_pfn(
+                      d->arch.arch_vmx.cpu_cr3 >> PAGE_SHIFT)));
+
     /*
      * VMX does not implement real-mode virtualization. We emulate
      * real-mode by performing a world switch to VMXAssist whenever